TF-Coder: Program Synthesis for Tensor Manipulations

MathNMR: spin and spatial tensor manipulations in Mathematica.

Spin and spatial tensor manipulations are frequently required to describe the theory of NMR experiments. A Mathematica package is presented here, which provides some of the most common functions for these calculations. Examples are the calculation of matrix representations of operators, commutators, projections, rotations, Redfield matrix elements, matrix decomposition into basis operators, cha...

1.06 Protecting Group Manipulations in Carbohydrate Synthesis

1.06.

Using Program Synthesis for Program Analysis

In this paper, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g. safety proving, bug finding, termination and non-termination proving, superoptimisation). We call this fragment the synthesis fragment. Satisfiability of a formula in the synthesis fragment is decidable over finite domains; speci...

Maternal nutritional manipulations program adipose tissue dysfunction in offspring

Based on the concept of Developmental Origin of Health and Disease, both human and animal studies have demonstrated a close link between nutrient supply perturbations in the fetus or neonate (i.e., maternal undernutrition, obesity, gestational diabetes and/or rapid catch-up growth) and increased risk of adult-onset obesity. Indeed, the adipose tissue has been recognized as a key target of devel...

Optimization and efficiency of an object-oriented analysis-synthesis coder